Search Results
Correct-by-Construction Cryptographic Arithmetic in Coq - Adam Chlipala | Lambda Days 2021
Simple High-Level Code For Cryptographic Arithmetic -- With Proofs, Without Compromises
ICFP Social Events Ask Me Anything on Coq with Adam Chlipala
Adam Chlipala Lecture 6, OPLSS 2015
Adam Chlipala Lecture 3, OPLSS 2015
Adam Chlipala - Ur/Web
DeepSpec Summer School, Part 35, Chlipala (July 26, 2017)
SIGARCH Visioning Workshop: Agile and Open Hardware for Next Generation Computing -- Adam Chlipala
Software foundations in Coq 1.1 - Benjamin Pierce
Meetup Haskell - Coq for Haskell programmers
Adam Back | Decentralized | Extending Bitcoin with Sidechains
Meetup Haskell: Coq
